Horn Clause Completion

См. также в других словарях:

• Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

• japan — japanner, n. /jeuh pan /, n., adj., v., japanned, japanning. n. 1. any of various hard, durable, black varnishes, originally from Japan, for coating wood, metal, or other surfaces. 2. work varnished and figured in the Japanese manner. 3. Japans,… …   Universalium

• Japan — /jeuh pan /, n. 1. a constitutional monarchy on a chain of islands off the E coast of Asia: main islands, Hokkaido, Honshu, Kyushu, and Shikoku. 125,716,637; 141,529 sq. mi. (366,560 sq. km). Cap.: Tokyo. Japanese, Nihon, Nippon. 2. Sea of, the… …   Universalium

• insurance — /in shoor euhns, sherr /, n. 1. the act, system, or business of insuring property, life, one s person, etc., against loss or harm arising in specified contingencies, as fire, accident, death, disablement, or the like, in consideration of a… …   Universalium

• United States — a republic in the N Western Hemisphere comprising 48 conterminous states, the District of Columbia, and Alaska in North America, and Hawaii in the N Pacific. 267,954,767; conterminous United States, 3,022,387 sq. mi. (7,827,982 sq. km); with… …   Universalium

• environment — environmental, adj. environmentally, adv. /en vuy reuhn meuhnt, vuy euhrn /, n. 1. the aggregate of surrounding things, conditions, or influences; surroundings; milieu. 2. Ecol. the air, water, minerals, organisms, and all other external factors… …   Universalium

• international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… …   Universalium

• North Carolina-class battleship — North Carolina steaming on 3 June 1946. By this time, many of the light anti aircraft weapons (Bofors 40 mm and Oerlikon 20 mm) mounted during the war had been removed, while more modern radars had been mounted on her forefunnel and mainmast …   Wikipedia

• DHN Food Distributors Ltd v Tower Hamlets London Borough Council — DHN Food Distributors Ltd v Tower Hamlets LBC Court Court of Appeal Date decided 4 March 1976 Citation(s) [1976] 1 WLR 852 …   Wikipedia

• Agriculture and Food Supplies — ▪ 2007 Introduction Bird flu reached Europe and Africa, and concerns over BSE continued to disrupt trade in beef. An international vault for seeds was under construction on an Arctic island. Stocks of important food fish species were reported… …   Universalium

• Maritime history of California — History of California This article is part of a series Timeline …   Wikipedia